# THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi :set ro:
# Generated from: i386/amd64-avx512.xml
name:amd64_avx512
xmltarget:amd64-avx512.xml
expedite:rbp,rsp,rip
64:rax
64:rbx
64:rcx
64:rdx
64:rsi
64:rdi
64:rbp
64:rsp
64:r8
64:r9
64:r10
64:r11
64:r12
64:r13
64:r14
64:r15
64:rip
32:eflags
32:cs
32:ss
32:ds
32:es
32:fs
32:gs
80:st0
80:st1
80:st2
80:st3
80:st4
80:st5
80:st6
80:st7
32:fctrl
32:fstat
32:ftag
32:fiseg
32:fioff
32:foseg
32:fooff
32:fop
128:xmm0
128:xmm1
128:xmm2
128:xmm3
128:xmm4
128:xmm5
128:xmm6
128:xmm7
128:xmm8
128:xmm9
128:xmm10
128:xmm11
128:xmm12
128:xmm13
128:xmm14
128:xmm15
32:mxcsr
128:ymm0h
128:ymm1h
128:ymm2h
128:ymm3h
128:ymm4h
128:ymm5h
128:ymm6h
128:ymm7h
128:ymm8h
128:ymm9h
128:ymm10h
128:ymm11h
128:ymm12h
128:ymm13h
128:ymm14h
128:ymm15h
128:bnd0raw
128:bnd1raw
128:bnd2raw
128:bnd3raw
64:bndcfgu
64:bndstatus
128:xmm16
128:xmm17
128:xmm18
128:xmm19
128:xmm20
128:xmm21
128:xmm22
128:xmm23
128:xmm24
128:xmm25
128:xmm26
128:xmm27
128:xmm28
128:xmm29
128:xmm30
128:xmm31
128:ymm16h
128:ymm17h
128:ymm18h
128:ymm19h
128:ymm20h
128:ymm21h
128:ymm22h
128:ymm23h
128:ymm24h
128:ymm25h
128:ymm26h
128:ymm27h
128:ymm28h
128:ymm29h
128:ymm30h
128:ymm31h
64:k0
64:k1
64:k2
64:k3
64:k4
64:k5
64:k6
64:k7
256:zmm0h
256:zmm1h
256:zmm2h
256:zmm3h
256:zmm4h
256:zmm5h
256:zmm6h
256:zmm7h
256:zmm8h
256:zmm9h
256:zmm10h
256:zmm11h
256:zmm12h
256:zmm13h
256:zmm14h
256:zmm15h
256:zmm16h
256:zmm17h
256:zmm18h
256:zmm19h
256:zmm20h
256:zmm21h
256:zmm22h
256:zmm23h
256:zmm24h
256:zmm25h
256:zmm26h
256:zmm27h
256:zmm28h
256:zmm29h
256:zmm30h
256:zmm31h
